Skip to content

[spec] Add missing side condition on growtable/memory#2108

Merged
rossberg merged 4 commits intomainfrom
fix.grow
Mar 24, 2026
Merged

[spec] Add missing side condition on growtable/memory#2108
rossberg merged 4 commits intomainfrom
fix.grow

Conversation

@rossberg
Copy link
Copy Markdown
Member

This adds back missing side conditions to check against the max table/memory size allowed per address type.

@f52985, I'm again seeing interpreter failures that I don't understand. The PR just adds simple arithmetic side conditions, but I get type mismatches for them. Can you please have a look?

@f52985
Copy link
Copy Markdown
Collaborator

f52985 commented Mar 24, 2026

Fixed. It was simply missing a case for the optionally itered (?) boolean premise.

@rossberg rossberg merged commit 811f86a into main Mar 24, 2026
10 checks passed
@rossberg rossberg deleted the fix.grow branch March 24, 2026 11:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants